Heyting algebra - PDFSEARCH.IO - Document Search Engine

Heyting algebra
Results: 71

#	Item
51	Prime Algebraicity Glynn Winskel, University of Cambridge Computer Laboratory, England April 27, 2009 Abstract A prime algebraic lattice can be characterised as isomorphic to the downwards-closed subsets, ordered by incl Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-04-28 11:54:02 Structure Lattice theory Algebraic structures Lattice Heyting algebra Distributivity Compact element Partially ordered set Scott domain Mathematics Abstract algebra Order theory
52	Logical Aspects of Set Constraints Dexter Kozen Computer Science Department Cornell University Ithaca, New York 14853, USA [removed] Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2012-05-29 09:46:24 Boolean algebra Algebraic structures Order theory Algebraic logic Field of sets Ideal Complete Heyting algebra Heyting algebra Interior algebra Mathematics Abstract algebra Mathematical logic
53	Chapter 1 LOCALES AND TOPOSES AS SPACES Steven Vickers Add to Reading List Source URL: synrc.com Language: English - Date: 2009-06-30 10:58:00 Model theory Algebraic structures Boolean algebra Mathematical constructivism Order theory Lindenbaum–Tarski algebra Heyting algebra Interpretation Topos Mathematical logic Mathematics Logic
54	Free Heyting algebras: revisited N. Bezhanishvili1⋆ 1 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2013-01-22 10:09:34 Mathematical logic Algebraic structures Mathematical constructivism Order theory Boolean algebra Heyting algebra Distributive lattice Lattice Intuitionistic logic Mathematics Abstract algebra Lattice theory
55	Technical Report KDBSLAB-TR[removed]Spatial Relations, Minimum Bounding Rectangles, Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 1999-06-04 10:36:43 Spatial database Complete Heyting algebra R-tree Minimum bounding rectangle Spatial–temporal reasoning Geometry Mathematics Structure
56	Generalizations of Hedberg’s Theorem Nicolai Kraus1 , Mart´ın Escard´o2 , Thierry Coquand3 , and Thorsten Altenkirch1 Add to Reading List Source URL: red.cs.nott.ac.uk Language: English - Date: 2013-04-17 14:32:29 Function Adjoint functors Interpretation First-order logic Heyting algebra Mathematics Mathematical analysis Model theory
57	Generalizations of Hedberg’s Theorem Nicolai Kraus1 , Mart´ın Escard´o2 , Thierry Coquand3 , and Thorsten Altenkirch1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-11 19:04:46 Function Adjoint functors Interpretation First-order logic Heyting algebra Mathematics Mathematical analysis Model theory
58	Programming from Galois Connections — Principles and Applications (Extended version of reference [16]) Add to Reading List Source URL: www.iis.sinica.edu.tw Language: English - Date: 2011-03-16 00:37:11 Order theory Galois connection Complete Heyting algebra Function Presentation of a group Sheaf Allegory Adjoint functors Residuated mapping Mathematics Abstract algebra Algebra
59	1 Joseph Muscat 2013 Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2013-10-01 03:49:25 Universal property Isomorphism theorem Kernel Equivalence relation Function Universal algebra Homomorphism Heyting algebra C*-algebra Mathematics Abstract algebra Category theory
60	On Kleene Algebras and Closed Semirings Dexter Kozeny Department of Computer Science Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2012-05-29 09:45:43 Algebra Semiring Kleene algebra Complete Boolean algebra Boolean algebra Von Neumann algebra Functor Sigma-algebra Complete Heyting algebra Mathematics Abstract algebra Algebraic structures